$\forall$$s$:LOSet, $a$, $b$:$\mid$$s$$\mid$. ($a$ $<$$s$ $b$) $\vee$ ($a$ = $b$) $\vee$ ($b$ $<$$s$ $a$)